Formal Modeling and Scheduling of Datapaths of Digital Document Printers
نویسندگان
چکیده
We apply three different modeling frameworks — timed automata (Uppaal), colored Petri nets and synchronous data flow — to model a challenging industrial case study that involves an existing stateof-the-art image processing pipeline. Each of the resulting models is used to derive schedules for multiple concurrent jobs in the presence of limited resources (processing units, memory, USB bandwidth,..). The three models and corresponding analysis results are compared.
منابع مشابه
Document Image Dewarping Based on Text Line Detection and Surface Modeling (RESEARCH NOTE)
Document images produced by scanner or digital camera, usually suffer from geometric and photometric distortions. Both of them deteriorate the performance of OCR systems. In this paper, we present a novel method to compensate for undesirable geometric distortions aiming to improve OCR results. Our methodology is based on finding text lines by dynamic local connectivity map and then applying a l...
متن کاملTime-constrained scheduling of large pipelined datapaths
This paper addresses the most crucial optimization problem of high-level synthesis: scheduling. A formal framework is described that was tailored speci cally for the de nition and investigation of the time-constrained scheduling problem of pipelined datapaths. Theoretical results are presented on the complexity of the problem. Moreover, two new heuristic algorithms are introduced. The rst one i...
متن کاملFormal Modeling and Analysis by Simulation of Data Paths in Digital Document Printers
This paper reports on a challenging case study conducted in the context of the Octopus project where CPN Tools is used to model and analyze the embedded system of digital document printer. Modeling the dynamic behavior of such systems in a predictable way is a major challenge. In this paper, we present the approach where colored Petri nets are used to model the system. Simulation is used to ana...
متن کاملAutomatic keyword extraction using Latent Dirichlet Allocation topic modeling: Similarity with golden standard and users' evaluation
Purpose: This study investigates the automatic keyword extraction from the table of contents of Persian e-books in the field of science using LDA topic modeling, evaluating their similarity with golden standard, and users' viewpoints of the model keywords. Methodology: This is a mixed text-mining research in which LDA topic modeling is used to extract keywords from the table of contents of sci...
متن کاملرفع اعوجاج هندسی متون بهکمک اطلاعات هندسی خطوط متن
Document images produced by scanners or digital cameras usually have photometric and geometric distortions. If either of these effects distorts document, recognition of words from such a document image using OCR is subject to errors. In this paper we propose a novel approach to significantly remove geometric distortion from document images. In this method first we extract document lines from do...
متن کامل